Integrating Natural Semantics and Attribute Grammars: the Minotaur System

This paper describes the principles and the functionalities of the Minotaur system. Minotaur is a generic interactive environment based on the integration of the Centaur system and the FNC-2 system, two systems widely used to specify syntax and semantics of programming languages and generate eecient semantic tools from these speciications. We show how Attribute Grammars techniques can be adequate for evaluation of a quite large subclass of Natural Semantics speciications, including speciications of an arithmetic calculator, a tree transformation, a type-checker for an Algol-like language, ... For this subclass of Natural Semantics speciications, the Minotaur system automatically generates an incremental and eecient (in time and memory) evaluator which gives to Natural Semantics an industrial strength implementation. S emantique Naturelle + Grammaires Attribu ees = le syst eme Minotaur R esum e : Ce rapport d ecrit les principes et les fonctionnalit es du syst eme Minotaur. Minotaur est un environnement g en erique interactif fond e sur l'int egration des syst emes Centaur et FNC-2, deux syst emes largement utilis es pour la sp eciication des langages de programmation (syntaxe et s emantique) et la g en eration, a partir de ces sp eciications, d'outils s emantiques puissants. Nous montrons comment les techniques issues des Grammaires Attribu ees sont applicables a l' evaluation d'une classe large de sp eciications en S emantique Naturelle, incluant par exemple une calculatrice, une transformation d'arbre, un v eriicateur de typage pour un langage de type Algol, ... Pour cette classe de sp eciications en S emantique Naturelle, le syst eme Minotaur g en ere automatiquement un evaluateur incr emental et performant (en temps et en m emoire), ce qui conf ere a la S emantique Naturelle un sch ema d'ex ecution adapt e aux applications de taille r eelle.